منابع مشابه
Adaptability Checking in Multi-Level Complex Systems
A hierarchical model for multi-level adaptive systems is built on two basic levels: a lower behavioural level B accounting for the actual behaviour of the system and an upper structural level S describing the adaptation dynamics of the system. The behavioural level is modelled as a state machine and the structural level as a higher-order system whose states have associated logical formulas (con...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملEnabling Systems and the Adaptability of Complex Systems-of- Systems
For complex techno-social system-of-systems, the system’s robustness and its ability to adapt to changing environments and circumstances over the life cycle of the systems is an important measure of system quality and effectiveness. The IEEE 15288-2004 standard describes the concept of “enabling systems” that provide non-operational services to the systemof-interest at various times in the syst...
متن کاملResilience and adaptability of infrastructures – A complex adaptive systems perspective
While we rely on the continuous functioning of infrastructures such as water, electricity and Internet, 100% uptime is not possible. Infrastructure systems must therefore be resilient – they must be capable of flexing in response to disruptions and recovering quickly. In this paper we explore options for supporting infrastructure resilience from a complex adaptive systems perspective. Building ...
متن کاملOn Adaptability in Grid Systems
With the increasing size and complexity, adaptabihty is among the most badly needed properties in today's Grid systems. Adaptabihty refers to the degree to which adjustments in practices, processes, or structures of systems are possible to projected or actual changes of their environment. In this paper, we review concepts, methods, algorithms, and implementations that are deemed useful for desi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2016
ISSN: 0167-6423
DOI: 10.1016/j.scico.2015.03.004